-
1 расширенное исчисление
Русско-английский технический словарь > расширенное исчисление
-
2 расширенное исчисление
Русско-английский политехнический словарь > расширенное исчисление
-
3 расширенное исчисление
Русско-английский словарь по вычислительной технике и программированию > расширенное исчисление
-
4 исчисление
calculus, computation* * *исчисле́ние с.
calculusисчисле́ние бесконе́чно ма́лых — infinitesimal calculusвариацио́нное исчисле́ние — calculus of variationsве́кторное исчисле́ние — vector calculus, vector analysisисчисле́ние вероя́тностей — calculus of probabilityисчисле́ние выска́зываний — sentential [propositional] calculusдифференциа́льное исчисле́ние — differential calculusисчисле́ние зада́ч — problem calculusинтегра́льное исчисле́ние — integral calculusлоги́ческое исчисле́ние — logical calculusма́тричное исчисле́ние — matrix calculusоперацио́нное исчисле́ние — operational calculusисчисле́ние предика́тов — predicate calculusпропозициона́льное исчисле́ние — propositional calculusрасши́ренное исчисле́ние — extended calculusспино́рное исчисле́ние — spinor calculusте́нзорное исчисле́ние — tensor calculusфункциона́льное исчисле́ние — functional calculus* * * -
5 расширенное исчисление
Русско-английский большой базовый словарь > расширенное исчисление
-
6 исчисление
с. calculus -
7 расширенный
1. expanded2. extended -
8 расширенное исчисление
Information technology: extended calculusУниверсальный русско-английский словарь > расширенное исчисление
-
9 расширенное пропозициональное исчисление
Russian-english psychology dictionary > расширенное пропозициональное исчисление
-
10 расширенное пропозициональное исчисление
Русско-английский биологический словарь > расширенное пропозициональное исчисление
-
11 расширенное исчисление предикатов
extended predicate calculus матем.Русско-английский научно-технический словарь Масловского > расширенное исчисление предикатов
-
12 расширенное исчисление высказываний, расширенное пропозициональное исчисление
Mathematics: extended propositional calculusУниверсальный русско-английский словарь > расширенное исчисление высказываний, расширенное пропозициональное исчисление
-
13 расширенное исчисление предикатов
Mathematics: extended predicate calculusУниверсальный русско-английский словарь > расширенное исчисление предикатов
-
14 расширенное пропозициональное исчисление
Biology: extended prepositional calculusУниверсальный русско-английский словарь > расширенное пропозициональное исчисление
См. также в других словарях:
Calculus of variations — is a field of mathematics that deals with extremizing functionals, as opposed to ordinary calculus which deals with functions. A functional is usually a mapping from a set of functions to the real numbers. Functionals are often formed as definite … Wikipedia
Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables … Wikipedia
Extended real number line — Positive infinity redirects here. For the band, see Positive Infinity. In mathematics, the affinely extended real number system is obtained from the real number system R by adding two elements: +∞ and −∞ (read as positive infinity and negative… … Wikipedia
Calculus with polynomials — Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation Taylor s theorem Related rates … Wikipedia
calculus of variations — the branch of mathematics that deals with the problem of finding a curve or surface that maximizes or minimizes a given expression, usually with several restrictions placed on the desired curve. [1830 40] * * * ▪ mathematics branch of… … Universalium
Calculus of inductive constructions — The calculus of inductive constructions is the underlying core language of the Coq Proof Assistant. It is based on the calculus of constructions extended by inductive definitions as they are known from intuitionistic type theory … Wikipedia
Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… … Wikipedia
Lambda-mu calculus — In mathematical logic and computer science, the lambda mu calculus is an extension of the lambda calculus, and was introduced by M. Parigot in [lambda mu] calculus: an algorithmic interpretation of classical natural deduction , Springer LNAI no.… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Itō calculus — Itō calculus, named after Kiyoshi Itō, extends the methods of calculus to stochastic processes such as Brownian motion (Wiener process). It has important applications in mathematical finance and stochastic differential equations.The central… … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia